Section: Dissemination

Teaching - Supervision - Juries

• G. Barbon gave a tutorial course on “Language Theory” (18 hours “équivalent TD” on formal languages, automata, regular expressions, and grammars) to second year students of ENSIMAG.

• H. Garavel, together with Laurence Pierre (TIMA, Grenoble), created a new curriculum HECS (http://hecs.imag.fr) (“High-confidence Embedded and Cyberphysical Systems”) for 2nd-year MOSIG (Master of Science in Informatics at Grenoble) students. This curriculum opened for the first time in September 2016.

• F. Lang, R. Mateescu, G. Salaün, and W. Serwe gave lectures on models for concurrency, temporal logics, equivalences, formal languages and verification (36 hours “équivalent TD”) as part of the MOSIG/MACS-2 course (“Modeling and Analysis of Concurrent Systems”) led by G. Salaün.

• G. Barbon and W. Serwe supervised each a group of six teams in the context of the “projet Génie Logiciel” (55 hours “équivalent TD”, consisting in 16 hours of lectures, plus supervision and evaluation), ENSIMAG, January 2017.

• F. Lang gave a lecture on “Modélisation et Vérification des Systèmes Concurrents et Temps-Réel” (27 hours “équivalent TD”) to third year students of ENSIMAG.

• F. Lang gave a course on “Formal Software Development Methods” (7.5 hours “équivalent TD”) in the framework of the “Software Engineering” lecture given to first year students of the MOSIG.

• L. Marsso gave a course on “Algorithms and Web Programming” (44 hours “équivalent TD”) at the department MMI of IUT1 (UGA).

• G. Salaün taught about 200 hours of classes (algorithmics, Web development, object-oriented programming, iOS programming) at the department MMI of IUT1 (UGA). He is also headmaster of the “Services Mobiles et Interface Nomade” (SMIN) professional licence (3rd year of university) at IUT1/UGA.

• PhD in progress: G. Barbon, “Debugging Concurrent Programs using Model Checking and Mining Techniques”, Université Grenoble Alpes, since October 2015, G. Salaün and V. Leroy

• PhD in progress: L. Marsso, “Formal Methods for Testing Networks of Controllers”, Université Grenoble Alpes, since October 2016, R. Mateescu, W. Serwe, I. Parissis, and Ch. Deleuze

• PhD in progress: A. Muroor Nadumane, “Softwarization of Everything: IoT Service Composition”, Université Grenoble Alpes, since October 2017, G. Salaün, R. Mateescu, L. Noirie, and M. Le Pallec

• PhD in progress: U. Ozeer, “Autonomous Resilience of Applications in a Largely Distributed Cloud Environment”, Université Grenoble Alpes, since November 2016, X. Etchevers, G. Salaün, F.-G. Ottogalli, and J.-M. Vincent

• R. Mateescu was reviewer of Alexandre Duret-Lutz's Habilitation thesis, entitled “Contributions to LTL and Omega-Automata for Model Checking”, defended at EPITA (Paris, France) on February 10, 2017.

• R. Mateescu was reviewer of Zhengkui Zhang's PhD thesis, entitled “Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis”, defended at the University of Aalborg (Denmark) on March 28, 2017.

• R. Mateescu was reviewer of Simon Busard's PhD thesis, entitled “Symbolic Model Checking of Multi-Modal Logics: Uniform Strategies and Rich Explanations”, defended at Université Catholique de Louvain (Belgium) on May 10, 2017.

• G. Salaün was reviewer of Imen Boudhiba's PhD thesis, entitled “A Model-Based Testing framework for IOSTS enriched with function calls”, defended at Centrale-Supélec (Paris, France) on March 2, 2017.

• G. Salaün was PhD committee president of Hosein Nazarpour's PhD thesis, entitled “Monitoring Multi-threaded and Distributed (Component-Based) Systems”, defended at Université Grenoble Alpes on June 26, 2017.

• G. Salaün was PhD committee president of Jean-François Weber's PhD thesis, entitled “Guiding and Controlling the Reconfigurations of Component-based Systems”, defended at Université de Franche-Comté (Besançon, France) on October 5, 2017.